Wyniki
-
Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK
Takahito Aoto, Hiroakira Ono
Bulletin of the Section of Logic , 23 /3 (1994) s. 104-112
Takahito Aoto,
Hiroakira Ono
Bulletin of the Section of Logic
, 23
/3
(1994)
s. 104-112